Characterization of the computed homology and cohomology bases -- technical report
arxiv.org·8h
🌐Computational Topology
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
💧Liquid Types
Conference on TDA: Recent Developments and Applications, University of Missouri – Columbia, November 22-24, 2025
appliedtopology.org·1d
🌐Computational Topology
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.com·10h
🔬Optical Physics
LiDAR Point Cloud Semantic Segmentation with Graph Neural Networks and Adaptive Attention Mechanisms
dev.to·21h·
Discuss: DEV
🌀Riemannian Computing
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·1d
🔤Type Theory
Mathematical 'sum of zeros' trick exposes topological magnetization in quantum materials
phys.org·16h
Time Crystals
Restore hyperspectral images in a latent space
sciencedirect.com·18h·
Discuss: Hacker News
📐Vector Dimensionality
Contributions to Robust and Efficient Methods for Analysis of High Dimensional Data
arxiv.org·1d
🧠Machine Learning
Categories for Public Health Modeling
johncarlosbaez.wordpress.com·21h
Algebraic Effects
Visual Programmability: A Guide for Code-as-Thought in Chart Understanding
arxiv.org·8h
Bidirectional Programming
The Data Backbone of LLM Systems
infoq.com·19h·
Discuss: Lobsters
🔗Constraint Handling
Sigma Flows for Image and Data Labeling and Learning Structured Prediction
arxiv.org·8h
🌀Riemannian Computing
Astrophysics Source Code Library
ascl.net·1h·
Discuss: Hacker News
🕳️Persistent Homology
Unified Architecture for Artificial General Intelligence Based on Similarity Topology
hackernoon.com·1d
🌀Hyperbolic Geometry
Gauss, an Agent for Autoformalization
math.inc·16h·
🏛️Agda
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·23h·
Discuss: Hacker News
⚙️Proof Engineering
New parametric CAD BREP kernel attempt
github.com·3d·
Discuss: Hacker News
🌐Computational Topology
Computational Imaging for Enhanced Computer Vision
arxiv.org·1d
📐Projective Geometry